consistence of axioms

公理的相容性[一致性]